Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
31	Tracing in REDUCE Herbert Melenk Konrad–Zuse–Zentrum f¨ ur Informationstechnik Berlin Takustraße 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:44 Software engineering Computer programming Programming language theory Functional languages Lisp Trigonometric functions Subroutine Exponentiation Constructor
32	Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-13 03:34:39 Software engineering Computer programming Programming language theory Functional languages Biomolecules Type theory Procedural programming languages Control flow Eval Heme String literal ML
33	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
34	Formal Definition of ALGOL 60 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-10-06 17:17:15 Software engineering Programming language theory Computing Procedural programming languages ALGOL 68 ALGOL ECL programming language PL/I BackusNaur form For loop Programming language Abstract syntax
35	A Guide to the GAMS-input-file Add to Reading List Source URL: www.rri.wvu.edu Language: English - Date: 2009-06-16 17:13:48 Software engineering Programming language theory ALGOL 68 Vehicle identification number Computing
36	SIM Profile Mark-Up Language V2 0 Final Release Candidate Version_04 Add to Reading List Source URL: simalliance.org Language: English - Date: 2015-03-26 18:46:30 Computing Procedural programming languages Enumerated type Type theory Enumeration MAD XML schema Subscriber identity module
37	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
38	Extending Code Genera/on to Support Pla6orm-Independent Event-B Models Asieh Salehi, Michael Butler, Colin Snook University of Southampton, Southampton, United Kingdom Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:27:32 Software engineering Computer programming Programming language theory Object-oriented programming languages Procedural programming languages Cross-platform software Functional languages J C E D
39	Program Analysis and Specialization for the C Programming Language Ph.D. Thesis Lars Ole Andersen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:01 Software engineering Programming language theory Computing Data types University of Copenhagen Static program analysis Procedural programming languages Pointer TOPPS UCPH Department of Computer Science Const Alias analysis
40	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function